Operating Experience New Technologies and New Tools Improvement in the Process of Learning

MetNum es punto de encuentro en el campus virtual Moodle, para los alumnos de Métodos Numéricos de la I.T.Informática de la Universidad de Málaga. Como herramientas básicas de Moodle nos planteamos en este campus virtual la utilización de cuestionarios, lecciones, glosarios, tareas, wikis, libros y foros como medio de incentivar y encauzar el trabajo diario de los alumnos. Destacamos que se ha desarrollado PDTeXInT: un entorno para el diseño de tutoriales interactivos para la presentación de material matemático. PDTeXInT permite acercar de forma amistosa y formato portable los contenidos teóricos junto con ejercicios de autoevaluación, como método para mejorar el proceso de aprendizaje.MetNum is a meeting point in Moodle, for students Numerical Methods of Computer Science Engineering at the University of Malaga. As basic tools of Moodle, we have selected questionnaires, lections, glossaries, tasks, wikis, and forums in order to encourage and to channel the day-to-day work of the students. It must be pointed out that it has been developed PDTeXInT: a software that allows to develop interactive tutorials in order to expound theoretical mathematical contents and put in practice self-assessment tests to improve the student training process

Extending FuzAtAnalyzer to approach the management of classical negation

FuzAtAnalyzer was conceived as a Java framework which goes beyond of classical tools in formal concept analysis. Specifically, it successfully incorporated the management of uncertainty by means of methods and tools from the area of fuzzy formal concept analysis. One limitation of formal concept analysis is that they only consider the presence of properties in the objects (positive attributes) as much in fuzzy as in crisp case. In this paper, a first step in the incorporation of negations is presented. Our aim is the treatment of the absence of properties (negative attributes). Specifically, we extend the framework by including specific tools for mining knowledge combining crisp positive and negative attributes.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Removing redundancy for attribute implications in data with grades

Reasoning with if-then rules –in particular, with those taking from of implications between conjunctions of attributes– is crucial in many disciplines ranging from theoretical computer science to applications. One of the most important problems regarding the rules is to remove redundancies in order to obtain equivalent implicational sets with lower size.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

From an implicational system to its corresponding D-basis

Closure system is a fundamental concept appearing in several areas such as databases, formal concept analysis, artificial intelligence, etc. It is well-known that there exists a connection between a closure operator on a set and the lattice of its closed sets. Furthermore, the closure system can be replaced by a set of implications but this set has usually a lot of redundancy inducing non desired properties. In the literature, there is a common interest in the search of the mini- mality of a set of implications because of the importance of bases. The well-known Duquenne-Guigues basis satisfies this minimality condition. However, several authors emphasize the relevance of the optimality in order to reduce the size of implications in the basis. In addition to this, some bases have been defined to improve the computation of closures relying on the directness property. The efficiency of computation with the direct basis is achieved due to the fact that the closure is computed in one traversal. In this work, we focus on the D-basis, which is ordered-direct. An open problem is to obtain it from an arbitrary implicational system, so it is our aim in this paper. We introduce a method to compute the D-basis by means of minimal generators calculated using the Simplification Logic for implications.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech. Supported by Grants TIN2011-28084 and TIN2014-59471-P of the Science and Innovation Ministry of Spain, which is co-financed by the European Social Fund

CAISL: Simplification Logic for Conditional Attribute Implications

In this work, we present a sound and complete axiomatic system for conditional attribute implications (CAIs) in Triadic Concept Analysis (TCA). Our approach is strongly based on the Simplification paradigm which offers a more suitable way for automated reasoning than the one based on Armstrong’s Axioms. We also present an automated method to prove the derivability of a CAI from a set of CAI s.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A generalized framework to consider positive and negative attributes in formal concept analysis

In Formal Concept Analysis the classical formal context is analized taking into account only the positive information, i.e. the presence of a property in an object. Nevertheless, the no presence of a property in an object also provides a signi cant knowledge which can only be partially considered with the classical approach. In this work we have modi ed the concept forming operators to allow the treatment of both, positive and negative attributes which come from respectively, the presence and absence of the properties. In this work we de ne the new operators and we prove that they are Galois connections. Finally, we have also studied the correspondence between the formal context in the new framework and the extended concept lattice, providing new interesting properties.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

The direct-optimal basis via reductions

Formal Concept Analysis has become a real approach in the trend Information-Knowledge-Wisdom. It turns around the mining of a data set to built a concept lattice which provides an strong structure of the knowledge. Implications play the role of an alternative specification of this concept lattice and may be managed by means of inference rules. This syntactic treatment is guided by several properties like directness, minimality, optimality, etc. In this work, we propose a method to calcu- late the direct-optimal basis equivalent to a given Implicational System. Our method deals with unitary and non-unitary implications. Moreover, it shows a better performance that previous methods in the literature by means of the use of Simplification Logic and reduction paradigm, which remains narrow implications in any stage of the process. We have also developed an empirical study to compare our method with previous approaches in the literature.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

A logic-based approach to compute a direct basis from implications

Formal Concept Analysis is an emergent area in the topic of data analysis based on lattice theory. In this framework, a context is defined as the relation between a set of objects and a set of attributes and from here it is possible to extract relevant knowledge. One of the important topics is to study the implications between the attributes considered. In a context, some equivalent sets of implications can be compute using different techniques. We are studying the direct optimal basis, which enables us to compute the closure of a set of attributes in just one iteration. A Prolog method has been implemented that computes a direct basis from a set of implications.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech, TIN12-39353-C04-01 and TIN2011-2808

Marejadas rurales y luchas por la vida, vol. iv: permanencias, resistencias y luchas por la vida

Volumen 4. Permanencias, resistencias y luchas por la vida, coordinado por: Elisabeth A. Mager Hois, Miguel Ángel Paz Frayre y Carla Zamora Lomelí, integra 15 capítulos y está dividido en tres secciones, la primera denominada Permanencia, contiene 5 capítulos que intentan establecer como eje común la lucha continua en las comunidades campesinas para continuar con la vida rural. La segunda, Identidad y resistencia, está compuesta por 4 capítulos que reflexionan sobre varios procesos de resistencia de la vida rural ante los cambios globales e internos en su propio proceso de vida, otros trabajos intentan encontrar aquellos elementos que generan y mantienen alguna forma de identidad, y la tercera sección, Lucha por la vida, contiene 6 trabajos que demuestran todas aquellas posibilidades que existen en el medio rural para sostenerse y mantenerse, generando diferentes formas y estrategias que los une en la continua lucha por vivir con pocas pretensiones y con difíciles perspectivas pero siempre encontrando alternativas.ASOCIACIÓN MEXICANA DE ESTUDIOS RURALES, INSTITUTO DE CIENCIAS AGROPECUARIAS Y RURALES (ICAR), UNIVERSIDAD DE GUADALAJARA, FACULTAD DE ESTUDIOS SUPERIORES ACATLÁN-UNAM, ECOSUR, CUCOSTA SUR GRANA, EL COLEGIO DE MICHOACÁN A.C., UNIVERSIDAD MICHOACANA DE SAN NICOLAS HIDALG

Mortality and pulmonary complications in patients undergoing surgery with perioperative SARS-CoV-2 infection: an international cohort study

Background: The impact of severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) on postoperative recovery needs to be understood to inform clinical decision making during and after the COVID-19 pandemic. This study reports 30-day mortality and pulmonary complication rates in patients with perioperative SARS-CoV-2 infection. Methods: This international, multicentre, cohort study at 235 hospitals in 24 countries included all patients undergoing surgery who had SARS-CoV-2 infection confirmed within 7 days before or 30 days after surgery. The primary outcome measure was 30-day postoperative mortality and was assessed in all enrolled patients. The main secondary outcome measure was pulmonary complications, defined as pneumonia, acute respiratory distress syndrome, or unexpected postoperative ventilation. Findings: This analysis includes 1128 patients who had surgery between Jan 1 and March 31, 2020, of whom 835 (74·0%) had emergency surgery and 280 (24·8%) had elective surgery. SARS-CoV-2 infection was confirmed preoperatively in 294 (26·1%) patients. 30-day mortality was 23·8% (268 of 1128). Pulmonary complications occurred in 577 (51·2%) of 1128 patients; 30-day mortality in these patients was 38·0% (219 of 577), accounting for 81·7% (219 of 268) of all deaths. In adjusted analyses, 30-day mortality was associated with male sex (odds ratio 1·75 [95% CI 1·28–2·40], p\textless0·0001), age 70 years or older versus younger than 70 years (2·30 [1·65–3·22], p\textless0·0001), American Society of Anesthesiologists grades 3–5 versus grades 1–2 (2·35 [1·57–3·53], p\textless0·0001), malignant versus benign or obstetric diagnosis (1·55 [1·01–2·39], p=0·046), emergency versus elective surgery (1·67 [1·06–2·63], p=0·026), and major versus minor surgery (1·52 [1·01–2·31], p=0·047). Interpretation: Postoperative pulmonary complications occur in half of patients with perioperative SARS-CoV-2 infection and are associated with high mortality. Thresholds for surgery during the COVID-19 pandemic should be higher than during normal practice, particularly in men aged 70 years and older. Consideration should be given for postponing non-urgent procedures and promoting non-operative treatment to delay or avoid the need for surgery. Funding: National Institute for Health Research (NIHR), Association of Coloproctology of Great Britain and Ireland, Bowel and Cancer Research, Bowel Disease Research Foundation, Association of Upper Gastrointestinal Surgeons, British Association of Surgical Oncology, British Gynaecological Cancer Society, European Society of Coloproctology, NIHR Academy, Sarcoma UK, Vascular Society for Great Britain and Ireland, and Yorkshire Cancer Research